Separation logic - PDFSEARCH.IO - Document Search Engine

Separation logic
Results: 136

#	Item
131	Trace-based Verification of Imperative Programs with I/O Gregory Malecha, Greg Morrisett, Ryan Wisnesky Harvard University, Cambridge, MA, USA Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Logic in computer science Proof theory Dependently typed programming Mathematical logic Mathematical proof Mathematical induction Separation logic Coq Mathematics Theoretical computer science Logic
132	Separation Predicates: a Taste of Separation Logic in First-Order Logic? Fran¸cois Bobot and Jean-Christophe Filliˆatre LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2012-08-22 10:26:30 Formal methods Predicate logic Model theory Formal languages Predicate transformer semantics First-order logic Predicate Satisfiability Modulo Theories Functional predicate Logic Mathematics Mathematical logic
133	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-06-09 12:22:14 Petri net Models of computation Symbol Model theory
134	Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-03-11 15:10:19 Curry–Howard correspondence Binomial series Logic in computer science Constructible universe Separation logic
135	PDF Document Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Software engineering Procedural programming languages Logic in computer science Hoare logic Type theory Separation logic Standard ML Heap ALGOL 68 Programming language theory Theoretical computer science Program logic
136	PDF Document Add to Reading List Source URL: maths.curtin.edu.au Language: English - Date: 2010-09-07 02:58:48 Lattice theory Union-closed sets conjecture Counterexample Cardinal number Theorem Hyperplane separation theorem Collatz conjecture Mathematics Conjectures Logic